Instance Verification Kit (IVK)
spin lock @ [10480+37+/linux-3.19-rc1/drivers/usb/host/whci/qset.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
asl_urb_dequeue
[7889+15+/linux-3.19-rc1/drivers/usb/host/whci/asl.c]
process_halted_qtd
[20498+18+/linux-3.19-rc1/drivers/usb/host/whci/qset.c]
process_inactive_qtd
[19023+20+/linux-3.19-rc1/drivers/usb/host/whci/qset.c]
process_qset
[2662+12+/linux-3.19-rc1/drivers/usb/host/whci/asl.c]
pzl_process_qset
[2953+16+/linux-3.19-rc1/drivers/usb/host/whci/pzl.c]
pzl_urb_dequeue
[8726+15+/linux-3.19-rc1/drivers/usb/host/whci/pzl.c]
qset_remove_urb
[17709+15+/linux-3.19-rc1/drivers/usb/host/whci/qset.c]
scan_async_work
[5198+15+/linux-3.19-rc1/drivers/usb/host/whci/asl.c]
scan_periodic_work
[6038+18+/linux-3.19-rc1/drivers/usb/host/whci/pzl.c]
urb_dequeue_work
[10017+16+/linux-3.19-rc1/drivers/usb/host/whci/qset.c]